Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·5h
🔧Error Recovery
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🌱Minimal Lisps
What is Algebraic about Algebraic Effects?
interjectedfuture.com·57m
💫Effect Systems
[NodeBook] Understanding Buffers in Node.js - Why they exist, where they live in memory, and how they handle binary data
thenodebook.com·9h·
Discuss: r/node
🔢Binary Formats
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·3h
📝Editor Buffers
Benchmarking rust string crates: Are "small string" crates worth it?
reddit.com·1d·
Discuss: r/rust
🔒Rust Borrowing
Show HN: Semlib – Semantic Data Processing
github.com·3h·
Discuss: Hacker News
🔍ML Language
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·47m
🗺️Region Inference
Caffeinated Commits- Day 1 & 2
dev.to·23h·
Discuss: DEV
📋Souffle Datalog
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
Python Multiprocessing: Start Methods, Pools, and Communication
dev.to·12h·
Discuss: DEV
🔗Concurrency Primitives
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·26m·
Discuss: Hacker News
🏷️Memory Tagging
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
In Defense of C++
dayvster.com·1d·
Discuss: r/cpp
⚡Zig
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing